Este estudo se dispõe a reflexão sobre a relação entre o Direito Tributário e a proteção ambiental, pela análise das normas regulatórias tributárias, atuando como agente desestimulador de condutas degradantes ao meio ambiente. Normas tributárias podem ser utilizadas como instrumentos estimuladores do desenvolvimento sustentável e desestimuladores de condutas degradantes ambientais. A Constituição Federal estabeleceu as premissas do desenvolvimento econômico. A empresa deve atender a critérios, como desenvolver-se promovendo redução de desigualdades sociais, atendendo às relações de consumo e preservação ambiental. Neste (...) artigo se demonstra a importância das normas tributárias extrafiscais na regulação e contenção de danos ambientais. (shrink)

In a recent article, Mario Günther presented a conditional that is claimed to be connexive. The aim of this short discussion note is to show that Günther’s claim is not without problems.

The topic of identity of proofs was put on the agenda of general (or structural) proof theory at an early stage. The relevant question is: When are the differences between two distinct proofs (understood as linguistic entities, proof figures) of one and the same formula so inessential that it is justified to identify the two proofs? The paper addresses another question: When are the differences between two distinct formulas so inessential that these formulas admit of identical proofs? The question appears (...) to be especially natural if the idea of working with more than one kind of derivations is taken seriously. If a distinction is drawn between proofs and disproofs (or refutations) as primitive entities, it is quite conceivable that a proof of one formula amounts to a disproof of another formula, and vice versa. A notion of inherited identity of derivations is introduced for derivations in a cut-free sequent system for Almukdad and Nelson’s constructive paraconsistent logic N4 with strong negation. The notion is obtained by identifying sequent rules the application of which has no effect on the identity of derivations. Then the notion of inherited identity is used to define a bilateralist notion of synonymy between formulas, which is a relation drawing more fine-grained distinctions between formulas than strong equivalence. (shrink)

As the discoverer of electromagnetic waves, Hertz is one of the most important figures in the history of physics. In commemoration of the 100th anniversary of his death, this volume ties together his personal and professional life. It contains 11 of Hertz's most important papers, seven accounts of his life by renowned contemporaries, and a biographical introduction. A bibliography of Hertz's scientific papers, a general bibliography of books and articles about his contributions to physics, and a comprehensive index round out (...) the coverage. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

Text: Reproduktion auf Grundlage der Ausgabe J. C. B. Mohr (Paul Siebeck), Tübingen 1939. - Das Werk, in dem Heinrich Rickert seine Lebensarbeit zusammenfassen wollte, ist sein "System der Philosophie." Der erste Band dieses Werkes enthält die "Allgemeine Grundlegung der Philosophie" (Tübingen, 1921). Der zweite Band sollte die "Philosophie des kontemplativen Lebens," der dritte die des "aktiven Lebens" behandeln. Der Umriß des Systems, der im ersten Bande mitunter vielleicht noch wie ein leeres Rahmen- und Fächerwerk wirken könnte, sollte nun (...) seine Brauchbarkeit zeigen. Er sollte angefüllt und bereichert werden durch sachhaltige Untersuchungen über die einzelnen Teilgebiete des philosophischen Systems. So war für den zweiten Band z. B. eine Wissenschaftslehre (Logik und Methodologie), eine Philosophie der Kunst (Ästhetik) und eine Behandlung der mystischen Religiosität geplant. Der dritte Band sollte vor allem die Sozialphilosophie enthalten; zur Sprache kommen sollte dabei zunächst das sittliche Leben in der "Gemeinschaft freier Personen" (Ethik), dann die über jede sittliche Verpflichtung noch hinausgehende Liebesgemeinschaft, wie sie z.B. in der Freundschaft und in der Ehe erlebt wird (Erotik), schließlich das religiöse Leben auf Grund persönlicher Gottesbegegnung. Druckfertig liegen für die inhaltliche Erfüllung und Ausgestaltung des Systems nur einige Aufsätze vor, die den zweiten Band eröffnen sollten: Rickert selbst hat noch den gesonderten Abdruck dieser Aufsätze geplant und ihre Anordnung genau festgelegt. Sein Plan wird im folgenden ausgeführt. Vorangestellt ist ein Zeitungsaufsatz über die Welt der Erfahrung, der in Kürze das Ziel der folgenden Untersuchungen teilweise sogar schon wörtlich vorwegnimmt. Da die Fehlurteile über Rickerts angeblich wirklichkeitsfremden Formalismus meistens nur darauf beruhen, dass man den Weg der Untersuchung mit ihrem Ziel, die Methode mit der Sache selbst verwechselt, so sei auf diesen kurzen Einleitungsaufsatz und dann namentlich auf den Abschnitt über Sprache und Antlitz der Körperwelt besonders hingewiesen. Die vorliegenden Aufsätze sollten also einen Übergang herstellen von den noch mehr formalen Ausführungen der Allgemeinen Grundlegung zu den dann immer sachhaltiger werdenden Einzeluntersuchungen über den inhaltlichen Reichtum des kontemplativen und des aktiven Lebens.[August Faust; Breslau 1939; Auszug aus dem Vorwort des Herausgebers]. (shrink)

Heinrich Rickert (1863-1936) fut, avec Windelband et Lask, l'un des principaux representants de l'ecole neokantienne de Heidelberg, qui se differencie essentiellement de l'ecole de Marbourg par la facon dont elle redefinit l'idealisme transcendantal a partir de la problematique de la validite, heritee notamment de la philosophie de Lotze. Les six articles reunis ici, publies par Rickert dans la revue Logos entre 1911 et 1932, dessinent les grandes lignes d'une philosophie systematique des valeurs qui ne se veut pas seulement une (...) theorie transcendantale du valoir dans son opposition a l'etre, mais aussi, en tant que doctrine des visions du monde, l'elaboration d'une reponse philosophique a la question du sens de la vie. A cote de recherches architectoniques portant sur la determination et l'articulation des differents domaines axiologiques, mais aussi sur les problemes generaux lies a la definition de la philosophie comme doctrine des valeurs, ces articles entretiennent une constante polemique a l'endroit de tout intuitionnisme et de toute philosophie de la vie. Contre le biologisme qui fait du vivant la valeur absolue et contre la denonciation intuitionniste de la science comme intellectualisme, l'affirmation de la transcendance des valeurs garantit pour Rickert le droit d'une philosophie scientifique et critique de la culture, qui en apprehende la vie propre en rendant compte de l'articulation des valeurs et de l'effectivite empirique au sein d'un systeme des valeurs qui reste ouvert sur l'infinie nouveaute et l'inepuisable richesse du monde historique. (shrink)

Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable (...) for any advanced student and researcher in pure and applied modal logic. (shrink)

I shall distinguish between two periods of analytic ontology, one semi-idealistic, the other post-idealistic. The former fostered the very idea of a conceptual scheme within which questions of ontology could be formulated and answered in the first place; the latter rejected this idea in favour of the view that ontological inquiry neither presupposes a framework, nor provides the framework for science or everyday speech. Since then, ontology is what it always have been, the systematic study of the most fundamental categories (...) of being, not of thought. Unfortunately, such a category theory becomes aporetic in its search for a solution of the problem of the “temporary intrinsic”. Experience cannot tell us, whether entities persist by “perduring” or by “enduring.” One can take an alternative route and seek to broaden the conceptual basis of ontology by focussing on “Being” in contrast to entities, or being. The controversy on perdurantism and endurantism emerges as a dispute over two conflicting ways of being in time, not of Being itself. (shrink)

Heinrich Rickert (1863-1936) was One of the leading neo-Kantian philosophers in Germany and a crucial figure in the discussions of the foundations of the social sciences in the first quarter of the twentieth century. His views were extremely influential, most significantly on Max Weber. The Limits of Concept Formation in Natural Science is Rickert's most important work, and it is here translated into English for the first time. It presents his systematic theory of knowledge and philosophy of science, and (...) deals particularly with historical knowledge and the problem of demarcating the natural from the human sciences. The theory Rickert develops is carefully argued and of great intrinsic interest. It departs from both positivism and neo-Hegelian idealism and is worked out by contrast to the views of others, particularly Dilthey and the early phenomenologists. (shrink)

In Phenomena of Power, one of the leading figures of postwar German sociology reflects on the nature, and many forms of, power. For Heinrich Popitz, power is rooted in the human condition and is therefore part of all social relations. Drawing on philosophical anthropology, he identifies the elementary forms of power to provide detailed insight into how individuals gain and perpetuate control over others. Instead of striving for a power-free society, Popitz argues, humanity should try to impose limits on (...) power where possible and establish counterpower where necessary. Phenomena of Power delves into the sociohistorical manifestations of power and breaks through to its general structures. Popitz distinguishes the forms of the enforcement of power as well as of its stabilization and institutionalization, clearly articulating how the mechanisms of power work and how to track them in the social world. Philosophically trained, historically informed, and endowed with keen observation, Popitz uses examples ranging from the way passengers on a ship organize deck chairs to how prisoners of war share property to illustrate his theory. Long influential in German sociology, Phenomena of Power offers a challenging reworking of one of the essential concepts of the social sciences. (shrink)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

In a case study, the mechanism of decomposition of diazonium ions in solution is discussed; the reasonable mechanism brought forward in 1940 was not refuted until 1973, in spite of experimental results published in 1952 that were not consistent with the proposed mechanism. A new mechanistic hypothesis, mentioned in the literature in 1973, was in contradiction to the paradigm that nitrogen molecules do not react with organic reagents in solution. After a psychologically explainable crisis the new hypothesis was tested experimentally (...) and the paradigm mentioned was falsified for this case. In the analysis it is shown that Pop-perian logic was commingled with Kuhn’s cycle of normal science, crisis, and revolution, as well as with a psychological barrier. Joint investigations of modern problems by chemists and philosophers of science are encouraged because they may elucidate how progress in scientific discoveries takes place at the present time. (shrink)

In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

First published in 1938. The aim of this book is to expound Kant’s _Critique of Judgement _by interpreting all the details in the light of what Kant himself declares to be his fundamental problem. _A Commentary on Kant’s Critique of Judgement _provides an excellent introduction to Kant’s third critique, and will be of interest to students of philosophy.

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (shrink)

According to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is. [13, p. 281].

A well-known art historian and an intimate friend of Heidegger's, Heinrich Wiegand Petzet provides a rich portrait of Heidegger that is part memoir, part biography, and part cultural history.

In this book Heinrich Meier takes on the question of the meaning of Nietzsche's Thus Spoke Zarathustra, which has long proven controversial among readers. Meier closely examines the work to find a coherent structure and uncover the meanings in the figure of Zarathustra. By showing the unity in Zarathustra's life and teaching, Meier argues that the hidden architecture of the work reveals the development of self-knowledge for the philosopher. What Is Nietzsche's Zarathustra? A Philosophical Confrontation makes clear in its (...) careful attention to the text that Nietzsche's deepest concern is with understanding himself and the world, rather than with a view of himself as a prophet. (shrink)

A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal logic of paradox, and the question whether or not identity of individuals should be defined as Leibniz-identity.